/*testing array copy */

/* result should be:
 * 9 8 7 6 5 4 3 2 1 0
 * (and there is a \n between each pair of them)
 */

/*@*/
void main(){
  array[10, int] c, d;
  int i;
  i = 0;
  while (i<10){
    c[i]= i;
    i = i+1;
  }
  d = c;

  while(i>0){
    i = i-1;
    print(d[i]);
  }
  
  return;
}
/*@*/
